This graduate-level, course-based text is devoted to the 3+1 formalism of general relativity, which also constitutes the theoretical foundations of numerical relativity. The book starts by establishing the mathematical background (differential geometry, hypersurfaces embedded in space-time, foliatio[...]